#include <vector>
// Have a look to the preprocessed file!
int main(){
std::vector<double> a;
}
